\begin{tabbing}
$\forall$${\it the\_w}$:World.
\\[0ex]FairFifo
\\[0ex]$\Rightarrow$ \=($\forall$$e$:E, $l$:IdLnk, $n$:\{0..$\parallel$sends($l$;$e$)$\parallel^{-}$\}.\+
\\[0ex]$\exists$\=${\it e'}$:E\+
\\[0ex](($\uparrow$isrcv(kind(${\it e'}$))) c$\wedge$ (lnk(kind(${\it e'}$)) = $l$ \& sender(${\it e'}$) = $e$ \& index(${\it e'}$) = $n$ $\in$ $\mathbb{Z}$)))
\-\-
\end{tabbing}